Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
481	Kapil Arya • • http://www.ccs.neu.edu/home/kapil Academics Northeastern University, Boston, MA May 2014 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-11-17 02:37:33 Computing Computer programming Software Fault-tolerant computer systems Parallel computing Application checkpointing Debuggers Debugging Checkpoint VMware Computer cluster
482	1 A Grid based distributed simulation of Plasma Turbulence Beniamino Di Martino and Salvatore Venticinque Dip. Ingegneria dell’Informazione, Seconda University of Naples, Italy Add to Reading List Source URL: www.afs.enea.it Language: English - Date: 2008-10-20 10:11:15 Concurrent computing Computing Computer programming Parallel computing MPICH Computer cluster OpenMP Globus Toolkit Message Passing Interface Algorithmic skeleton
483	Enhancing the Communication Performance Models for SMPs William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-04-10 13:51:38 Concurrent computing Computing Parallel computing Computer programming Message Passing Interface Message passing in computer clusters
484	Supero: Making Haskell Faster Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Recursion Literate programming Fold Haskell Map XS
485	Experimental evaluation of optimal schedulers based on partitioned proportionate fairness Davide Compagnin, Enrico Mezzetti and Tullio Vardanega University of Padua - Italy 27th EUROMICRO Conference on Real-Time Systems Add to Reading List Source URL: www.control.lth.se Language: English - Date: 2015-08-21 05:44:10 Concurrency control Scheduling Operations research Planning Windows NT processor scheduling Synchronization Lock Computer programming Computer architecture Computing
486	Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 = Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:51:51 Theoretical computer science Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Lambda calculus Term Relationships among probability distributions Centripetal CatmullRom spline
487	Leveraging “Choice” to Automate Authorization Hook Placement Divya Muthukumaran Trent Jaeger Add to Reading List Source URL: www.cse.psu.edu Language: English - Date: 2012-12-21 22:14:54 Software engineering Security Computer programming Access control Computer access control Kernel JavaScript Object-oriented programming Data-flow analysis Database Program analysis
488	iRODS 4.2: Policy in Your (Favorite) Language 5th National Data Service Consortium Workshop Chapel Hill, NC - April 5, 2016 Terrell Russell, Ph.D. Add to Reading List Source URL: www.nationaldataservice.org Language: English - Date: 2016-04-05 16:04:26 Software engineering Computing Systems engineering Computer programming Renaissance Computing Institute Data management JavaScript Data grid Middleware Namespace Storage Resource Broker
489	Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-07-01 11:20:10 Software engineering Computer programming Continuations Subroutines Memory management Control flow Models of computation Continuation-passing style Call stack Call-with-current-continuation Continuation Escape analysis
490	3rd Grade and 4th Grade KIDS, DO YOU KNOW WHAT TO DO IF YOU EVER COME ACROSS A GUN? Hi! I’m Eddie Eagle, and this is the Wing Team! We’re here to teach you an Add to Reading List Source URL: eddieeagle.nra.org Language: English - Date: 2015-11-05 15:45:54 Obfuscation Computer programming Index of standards articles Standards Index of Abkhazia-related articles

UPDATE